381. Logicism renewed :
پدیدآورنده : Paul C. Gilmore
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
2
.
G55
2005
382. Logicism renewed : logical foundations for mathematics and computer science
پدیدآورنده : Gilmore, Paul Carl, 5291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
23
383. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
384. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
385. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
386. Logics in artificial intelligence
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach (eds.)
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
,
334
,.
E985
387. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1489
388. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings
پدیدآورنده : Manuel Ojeda-Aciego...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1919
389. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده : Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
390. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
پدیدآورنده : Sergio Flesca ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2424
391. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
L5855
1985
392. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
193
393. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
193
394. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
پدیدآورنده : / Edited by Edmund Clarke, Dexter Kozen
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
395. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (Semnan)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
396. Logics of specification languages
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
397. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
398. Many-Valued Logics :
پدیدآورنده : by Leonard Bolc, Piotr Borowik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
399. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
400. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
